Computation calculus bridging a formalization gap
نویسندگان
چکیده
منابع مشابه
Secure Multiparty Computation vs. Fair Exchange - Bridging the Gap
In this paper, we propose a comparison of two seemingly similar problems, i.e., secure multiparty computation and fair exchange. However, if these two problems appear to bear a lot in common, they come from fields that differ greatly in the way the problems are described and approached, i.e., the fields of modern cryptography and distributed systems respectively. In that regard, straightforward...
متن کاملBridging a gap
There has been a quiet revolution in UK medical charities over the past two decades. Increasing competition for donations, adoption of new roles relative to the state and private sectors, and the requirement for more accountability have all played their part in the movement away from a total reliance on volunteers to a greater use of professional expertise — not only in media relations and fund...
متن کاملBridging the Gap Bridging the Educational Research-Teaching Practice Gap
The first paper [1] in this two-part miniseries on conceptual understanding discussed expert and novice conceptual knowledge, the multifaceted nature of conceptual understanding, and the cognitive skills essential for constructing it. This second article presents examples of instruments for the assessment and development of five facets of conceptual understanding that require competence in the ...
متن کاملDag-Calculus: A Calculus for Parallel Computation
This appendix consists of two main parts: in the first, we prove correct the translations of parallel primitives into the dag calculus, in the second, we prove that the scheduling algorithm implements the rules of the dag calculus. Concretely, Appendix A provides auxiliary definitions and properties for the translations; Appendices B, C and D provide the proofs of translations of fork-join, asy...
متن کاملBridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previous research and informal models used in the industry prevents these approaches from large-scale industrial applications. This paper proposes a hybrid approach to bridge the gap between XPDL and Situation Calculus. XP...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2000
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(99)00021-0